home *** CD-ROM | disk | FTP | other *** search
/ Software USA 4 #10 / Software USA Volume 4.10.iso / mac / Educational / Bertrand / BertrandFAT / BertrandFAT.rsrc / DITL.txt < prev    next >
Text File  |  1996-09-28  |  12KB  |  598 lines
  1. DITL_146_TruthTableDITL.txt
  2. Items: (5 entries)
  3.   0:
  4.     Bounds: x1=410, y1=56, x2=468, y2=76
  5.     Type: 4
  6.     Info: 'Okay'
  7.   1:
  8.     Bounds: x1=330, y1=56, x2=388, y2=76
  9.     Type: 4
  10.     Info: 'Cancel'
  11.   2:
  12.     Bounds: x1=160, y1=2, x2=378, y2=19
  13.     Type: -120
  14.     Info: 'Enter Statement For Truth Table:'
  15.   3:
  16.     Bounds: x1=20, y1=24, x2=470, y2=40
  17.     Type: 16
  18.     Info: ''
  19.   4:
  20.     Bounds: x1=42, y1=48, x2=74, y2=70
  21.     Type: -128
  22.     Info: ''
  23.  
  24. DITL_145_LogicalFalsityDITL.txt
  25. Items: (5 entries)
  26.   0:
  27.     Bounds: x1=410, y1=54, x2=468, y2=74
  28.     Type: 4
  29.     Info: 'Okay'
  30.   1:
  31.     Bounds: x1=332, y1=54, x2=390, y2=74
  32.     Type: 4
  33.     Info: 'Cancel'
  34.   2:
  35.     Bounds: x1=126, y1=2, x2=417, y2=19
  36.     Type: -120
  37.     Info: 'Enter Statement To Test For Logical Falsity:'
  38.   3:
  39.     Bounds: x1=20, y1=24, x2=470, y2=40
  40.     Type: 16
  41.     Info: ''
  42.   4:
  43.     Bounds: x1=42, y1=48, x2=74, y2=70
  44.     Type: -128
  45.     Info: ''
  46.  
  47. DITL_144_LogicalTruthDITL.txt
  48. Items: (5 entries)
  49.   0:
  50.     Bounds: x1=410, y1=54, x2=468, y2=74
  51.     Type: 4
  52.     Info: 'Okay'
  53.   1:
  54.     Bounds: x1=332, y1=54, x2=390, y2=74
  55.     Type: 4
  56.     Info: 'Cancel'
  57.   2:
  58.     Bounds: x1=134, y1=0, x2=414, y2=17
  59.     Type: -120
  60.     Info: 'Enter Statement To Test For Logical Truth:'
  61.   3:
  62.     Bounds: x1=20, y1=24, x2=470, y2=40
  63.     Type: 16
  64.     Info: ''
  65.   4:
  66.     Bounds: x1=42, y1=48, x2=74, y2=70
  67.     Type: -128
  68.     Info: ''
  69.  
  70. DITL_143_EquivalenceDITL.txt
  71. Items: (6 entries)
  72.   0:
  73.     Bounds: x1=410, y1=78, x2=468, y2=98
  74.     Type: 4
  75.     Info: 'Okay'
  76.   1:
  77.     Bounds: x1=332, y1=78, x2=390, y2=98
  78.     Type: 4
  79.     Info: 'Cancel'
  80.   2:
  81.     Bounds: x1=110, y1=0, x2=440, y2=17
  82.     Type: -120
  83.     Info: 'Enter Statements To Test For Logical Equivalence:'
  84.   3:
  85.     Bounds: x1=32, y1=24, x2=470, y2=40
  86.     Type: 16
  87.     Info: ''
  88.   4:
  89.     Bounds: x1=32, y1=48, x2=470, y2=64
  90.     Type: 16
  91.     Info: ''
  92.   5:
  93.     Bounds: x1=40, y1=72, x2=72, y2=104
  94.     Type: -128
  95.     Info: ''
  96.  
  97. DITL_142_ValidityDITL.txt
  98. Items: (16 entries)
  99.   0:
  100.     Bounds: x1=392, y1=220, x2=450, y2=240
  101.     Type: 4
  102.     Info: 'Okay'
  103.   1:
  104.     Bounds: x1=314, y1=220, x2=372, y2=240
  105.     Type: 4
  106.     Info: 'Cancel'
  107.   2:
  108.     Bounds: x1=110, y1=0, x2=440, y2=17
  109.     Type: -120
  110.     Info: 'Enter Premises Of Argument To Test For Validity:'
  111.   3:
  112.     Bounds: x1=32, y1=24, x2=448, y2=40
  113.     Type: 16
  114.     Info: ''
  115.   4:
  116.     Bounds: x1=32, y1=48, x2=448, y2=64
  117.     Type: 16
  118.     Info: ''
  119.   5:
  120.     Bounds: x1=32, y1=72, x2=448, y2=88
  121.     Type: 16
  122.     Info: ''
  123.   6:
  124.     Bounds: x1=32, y1=96, x2=448, y2=112
  125.     Type: 16
  126.     Info: ''
  127.   7:
  128.     Bounds: x1=32, y1=120, x2=448, y2=136
  129.     Type: 16
  130.     Info: ''
  131.   8:
  132.     Bounds: x1=32, y1=144, x2=448, y2=160
  133.     Type: 16
  134.     Info: ''
  135.   9:
  136.     Bounds: x1=32, y1=192, x2=448, y2=208
  137.     Type: 16
  138.     Info: ''
  139.   10:
  140.     Bounds: x1=456, y1=24, x2=488, y2=56
  141.     Type: 32
  142.     Info: 'Ç'
  143.   11:
  144.     Bounds: x1=456, y1=60, x2=488, y2=92
  145.     Type: 32
  146.     Info: 'Ä'
  147.   12:
  148.     Bounds: x1=456, y1=140, x2=488, y2=172
  149.     Type: 32
  150.     Info: 'Å'
  151.   13:
  152.     Bounds: x1=456, y1=176, x2=488, y2=208
  153.     Type: 32
  154.     Info: 'É'
  155.   14:
  156.     Bounds: x1=32, y1=216, x2=64, y2=248
  157.     Type: -128
  158.     Info: ''
  159.   15:
  160.     Bounds: x1=108, y1=166, x2=448, y2=184
  161.     Type: -120
  162.     Info: 'Enter Conclusion Of Argument To Test For Validity:'
  163.  
  164. DITL_141_ConsistencyDITL.txt
  165. Items: (16 entries)
  166.   0:
  167.     Bounds: x1=392, y1=220, x2=450, y2=240
  168.     Type: 4
  169.     Info: 'Okay'
  170.   1:
  171.     Bounds: x1=314, y1=220, x2=372, y2=240
  172.     Type: 4
  173.     Info: 'Cancel'
  174.   2:
  175.     Bounds: x1=132, y1=0, x2=405, y2=18
  176.     Type: -120
  177.     Info: 'Enter Premises To Test For Satisfiability:'
  178.   3:
  179.     Bounds: x1=32, y1=24, x2=448, y2=40
  180.     Type: 16
  181.     Info: ''
  182.   4:
  183.     Bounds: x1=32, y1=48, x2=448, y2=64
  184.     Type: 16
  185.     Info: ''
  186.   5:
  187.     Bounds: x1=32, y1=72, x2=448, y2=88
  188.     Type: 16
  189.     Info: ''
  190.   6:
  191.     Bounds: x1=32, y1=96, x2=448, y2=112
  192.     Type: 16
  193.     Info: ''
  194.   7:
  195.     Bounds: x1=32, y1=120, x2=448, y2=136
  196.     Type: 16
  197.     Info: ''
  198.   8:
  199.     Bounds: x1=32, y1=144, x2=448, y2=160
  200.     Type: 16
  201.     Info: ''
  202.   9:
  203.     Bounds: x1=32, y1=168, x2=448, y2=184
  204.     Type: 16
  205.     Info: ''
  206.   10:
  207.     Bounds: x1=32, y1=192, x2=448, y2=208
  208.     Type: 16
  209.     Info: ''
  210.   11:
  211.     Bounds: x1=456, y1=24, x2=488, y2=56
  212.     Type: 32
  213.     Info: 'Ç'
  214.   12:
  215.     Bounds: x1=456, y1=60, x2=488, y2=92
  216.     Type: 32
  217.     Info: 'Ä'
  218.   13:
  219.     Bounds: x1=456, y1=140, x2=488, y2=172
  220.     Type: 32
  221.     Info: 'Å'
  222.   14:
  223.     Bounds: x1=456, y1=176, x2=488, y2=208
  224.     Type: 32
  225.     Info: 'É'
  226.   15:
  227.     Bounds: x1=4, y1=212, x2=36, y2=244
  228.     Type: -128
  229.     Info: ''
  230.  
  231. DITL_140_NewProblemDITL.txt
  232. Items: (10 entries)
  233.   0:
  234.     Bounds: x1=164, y1=116, x2=222, y2=136
  235.     Type: 4
  236.     Info: 'Okay'
  237.   1:
  238.     Bounds: x1=164, y1=148, x2=222, y2=168
  239.     Type: 4
  240.     Info: 'Cancel'
  241.   2:
  242.     Bounds: x1=68, y1=8, x2=208, y2=24
  243.     Type: -120
  244.     Info: 'Select Problem Type:'
  245.   3:
  246.     Bounds: x1=16, y1=32, x2=118, y2=50
  247.     Type: 6
  248.     Info: 'Satisfiability'
  249.   4:
  250.     Bounds: x1=16, y1=56, x2=98, y2=75
  251.     Type: 6
  252.     Info: 'Validity'
  253.   5:
  254.     Bounds: x1=16, y1=80, x2=122, y2=98
  255.     Type: 6
  256.     Info: 'Equivalence'
  257.   6:
  258.     Bounds: x1=16, y1=104, x2=123, y2=121
  259.     Type: 6
  260.     Info: 'Logical Truth'
  261.   7:
  262.     Bounds: x1=16, y1=128, x2=133, y2=146
  263.     Type: 6
  264.     Info: 'Logical Falsity'
  265.   8:
  266.     Bounds: x1=16, y1=152, x2=122, y2=170
  267.     Type: 6
  268.     Info: 'Truth Table'
  269.   9:
  270.     Bounds: x1=180, y1=72, x2=212, y2=104
  271.     Type: -128
  272.     Info: ''
  273.  
  274. DITL_139_10+.txt
  275. Items: (2 entries)
  276.   0:
  277.     Bounds: x1=108, y1=136, x2=166, y2=156
  278.     Type: 4
  279.     Info: 'Okay'
  280.   1:
  281.     Bounds: x1=10, y1=12, x2=265, y2=129
  282.     Type: -120
  283.     Info: 'Having been used more than 10 times without being registered, Bertrand is beginning to feel exploited!  After this time, only Bertrand's Registration option will work.  See "Register.txt" for more information.'
  284.  
  285. DITL_138_PersonalizeDITL.txt
  286. Items: (6 entries)
  287.   0:
  288.     Bounds: x1=290, y1=114, x2=348, y2=134
  289.     Type: 4
  290.     Info: 'Okay'
  291.   1:
  292.     Bounds: x1=192, y1=114, x2=250, y2=134
  293.     Type: 4
  294.     Info: 'Cancel'
  295.   2:
  296.     Bounds: x1=20, y1=8, x2=411, y2=43
  297.     Type: -120
  298.     Info: 'Thank you for registering Bertrand!  To personalize your copy, enter your name and/or organization below.'
  299.   3:
  300.     Bounds: x1=14, y1=52, x2=399, y2=67
  301.     Type: 16
  302.     Info: ''
  303.   4:
  304.     Bounds: x1=14, y1=84, x2=400, y2=99
  305.     Type: 16
  306.     Info: ''
  307.   5:
  308.     Bounds: x1=54, y1=108, x2=86, y2=140
  309.     Type: -128
  310.     Info: ''
  311.  
  312. DITL_137_LicenseDITL.txt
  313. Items: (3 entries)
  314.   0:
  315.     Bounds: x1=152, y1=80, x2=210, y2=100
  316.     Type: 4
  317.     Info: 'I Agree'
  318.   1:
  319.     Bounds: x1=58, y1=80, x2=116, y2=100
  320.     Type: 4
  321.     Info: 'Cancel'
  322.   2:
  323.     Bounds: x1=22, y1=12, x2=264, y2=66
  324.     Type: -120
  325.     Info: 'I have carefully read the license agreement that came with Bertrand and agree to all of its terms.'
  326.  
  327. DITL_136_5+.txt
  328. Items: (2 entries)
  329.   0:
  330.     Bounds: x1=106, y1=96, x2=164, y2=116
  331.     Type: 4
  332.     Info: 'Okay'
  333.   1:
  334.     Bounds: x1=10, y1=12, x2=262, y2=93
  335.     Type: -120
  336.     Info: 'Now that you've used Bertrand more than 5 times, don't you think it's time you registered the program?  Please read "Register.txt" for more information.'
  337.  
  338. DITL_135_AbortAlertDITL.txt
  339. Items: (3 entries)
  340.   0:
  341.     Bounds: x1=175, y1=46, x2=235, y2=64
  342.     Type: 4
  343.     Info: 'Abort'
  344.   1:
  345.     Bounds: x1=71, y1=46, x2=127, y2=64
  346.     Type: 4
  347.     Info: 'Cancel'
  348.   2:
  349.     Bounds: x1=64, y1=6, x2=245, y2=34
  350.     Type: -120
  351.     Info: 'Abort tree... are you sure?'
  352.  
  353. DITL_134_SaveTableAlertDITL.txt
  354. Items: (4 entries)
  355.   0:
  356.     Bounds: x1=182, y1=86, x2=255, y2=106
  357.     Type: 4
  358.     Info: 'Premise'
  359.   1:
  360.     Bounds: x1=36, y1=86, x2=94, y2=106
  361.     Type: 4
  362.     Info: 'Cancel'
  363.   2:
  364.     Bounds: x1=110, y1=86, x2=168, y2=106
  365.     Type: 4
  366.     Info: 'Table'
  367.   3:
  368.     Bounds: x1=62, y1=6, x2=278, y2=72
  369.     Type: -120
  370.     Info: 'Save premise only or entire truth table?'
  371.  
  372. DITL_133_QuitAlertDITL.txt
  373. Items: (3 entries)
  374.   0:
  375.     Bounds: x1=156, y1=64, x2=216, y2=82
  376.     Type: 4
  377.     Info: 'Save'
  378.   1:
  379.     Bounds: x1=68, y1=64, x2=124, y2=82
  380.     Type: 4
  381.     Info: 'Quit'
  382.   2:
  383.     Bounds: x1=80, y1=4, x2=262, y2=52
  384.     Type: -120
  385.     Info: 'Save unsaved work before quitting?'
  386.  
  387. DITL_132_PreferencesDITL.txt
  388. Items: (29 entries)
  389.   0:
  390.     Bounds: x1=354, y1=148, x2=412, y2=168
  391.     Type: 4
  392.     Info: 'Okay'
  393.   1:
  394.     Bounds: x1=214, y1=148, x2=272, y2=168
  395.     Type: 4
  396.     Info: 'Cancel'
  397.   2:
  398.     Bounds: x1=284, y1=148, x2=342, y2=168
  399.     Type: 4
  400.     Info: 'Save'
  401.   3:
  402.     Bounds: x1=36, y1=6, x2=169, y2=22
  403.     Type: -120
  404.     Info: 'Window Font Sizes:'
  405.   4:
  406.     Bounds: x1=218, y1=56, x2=402, y2=74
  407.     Type: -120
  408.     Info: 'Margins (72nds of an inch):'
  409.   5:
  410.     Bounds: x1=220, y1=84, x2=255, y2=100
  411.     Type: -120
  412.     Info: 'Left:'
  413.   6:
  414.     Bounds: x1=306, y1=84, x2=346, y2=100
  415.     Type: -120
  416.     Info: 'Right:'
  417.   7:
  418.     Bounds: x1=220, y1=112, x2=249, y2=128
  419.     Type: -120
  420.     Info: 'Top:'
  421.   8:
  422.     Bounds: x1=306, y1=112, x2=360, y2=128
  423.     Type: -120
  424.     Info: 'Bottom:'
  425.   9:
  426.     Bounds: x1=264, y1=84, x2=294, y2=100
  427.     Type: 16
  428.     Info: '36'
  429.   10:
  430.     Bounds: x1=264, y1=112, x2=294, y2=128
  431.     Type: 16
  432.     Info: '72'
  433.   11:
  434.     Bounds: x1=368, y1=84, x2=398, y2=100
  435.     Type: 16
  436.     Info: '36'
  437.   12:
  438.     Bounds: x1=368, y1=112, x2=398, y2=128
  439.     Type: 16
  440.     Info: '72'
  441.   13:
  442.     Bounds: x1=184, y1=4, x2=199, y2=25
  443.     Type: -128
  444.     Info: ''
  445.   14:
  446.     Bounds: x1=16, y1=28, x2=59, y2=44
  447.     Type: -120
  448.     Info: 'Trees:'
  449.   15:
  450.     Bounds: x1=16, y1=52, x2=84, y2=69
  451.     Type: -120
  452.     Info: 'Tree Info:'
  453.   16:
  454.     Bounds: x1=16, y1=76, x2=125, y2=96
  455.     Type: -120
  456.     Info: 'Statement Info:'
  457.   17:
  458.     Bounds: x1=16, y1=100, x2=107, y2=117
  459.     Type: -120
  460.     Info: 'Assignments:'
  461.   18:
  462.     Bounds: x1=16, y1=124, x2=103, y2=140
  463.     Type: -120
  464.     Info: 'Truth Tables:'
  465.   19:
  466.     Bounds: x1=16, y1=148, x2=91, y2=164
  467.     Type: -120
  468.     Info: 'Table Info:'
  469.   20:
  470.     Bounds: x1=124, y1=28, x2=184, y2=48
  471.     Type: 7
  472.     Info: 'Å'
  473.   21:
  474.     Bounds: x1=124, y1=52, x2=184, y2=72
  475.     Type: 7
  476.     Info: 'Ç'
  477.   22:
  478.     Bounds: x1=124, y1=76, x2=184, y2=96
  479.     Type: 7
  480.     Info: 'É'
  481.   23:
  482.     Bounds: x1=124, y1=100, x2=184, y2=120
  483.     Type: 7
  484.     Info: 'Ñ'
  485.   24:
  486.     Bounds: x1=124, y1=124, x2=184, y2=144
  487.     Type: 7
  488.     Info: 'Ö'
  489.   25:
  490.     Bounds: x1=124, y1=148, x2=184, y2=168
  491.     Type: 7
  492.     Info: 'Ü'
  493.   26:
  494.     Bounds: x1=218, y1=28, x2=343, y2=47
  495.     Type: -120
  496.     Info: 'Header Font Size:'
  497.   27:
  498.     Bounds: x1=344, y1=28, x2=404, y2=48
  499.     Type: 7
  500.     Info: 'á'
  501.   28:
  502.     Bounds: x1=258, y1=6, x2=389, y2=23
  503.     Type: -120
  504.     Info: 'Printout Settings:'
  505.  
  506. DITL_131_CloseAlertDITL.txt
  507. Items: (5 entries)
  508.   0:
  509.     Bounds: x1=230, y1=86, x2=303, y2=106
  510.     Type: 4
  511.     Info: 'Premises'
  512.   1:
  513.     Bounds: x1=86, y1=86, x2=144, y2=106
  514.     Type: 4
  515.     Info: 'Cancel'
  516.   2:
  517.     Bounds: x1=158, y1=86, x2=216, y2=106
  518.     Type: 4
  519.     Info: 'Tree'
  520.   3:
  521.     Bounds: x1=80, y1=6, x2=296, y2=72
  522.     Type: -120
  523.     Info: 'Save premises or entire tree before closing?'
  524.   4:
  525.     Bounds: x1=12, y1=86, x2=70, y2=106
  526.     Type: 4
  527.     Info: 'Discard'
  528.  
  529. DITL_130_RegDITL.txt
  530. Items: (9 entries)
  531.   0:
  532.     Bounds: x1=166, y1=138, x2=224, y2=158
  533.     Type: 4
  534.     Info: 'Okay'
  535.   1:
  536.     Bounds: x1=70, y1=138, x2=128, y2=158
  537.     Type: 4
  538.     Info: 'Cancel'
  539.   2:
  540.     Bounds: x1=74, y1=50, x2=176, y2=66
  541.     Type: 16
  542.     Info: ''
  543.   3:
  544.     Bounds: x1=28, y1=6, x2=287, y2=42
  545.     Type: -120
  546.     Info: 'Please enter your registration code toactivate all of Bertrand's features.'
  547.   4:
  548.     Bounds: x1=28, y1=78, x2=311, y2=128
  549.     Type: -120
  550.     Info: '(Information on how to obtain yourregistration code can be found in the"Read Me" file that came with Bertrand.)'
  551.   5:
  552.     Bounds: x1=28, y1=50, x2=67, y2=66
  553.     Type: -120
  554.     Info: 'Code:'
  555.   6:
  556.     Bounds: x1=186, y1=50, x2=221, y2=66
  557.     Type: -120
  558.     Info: 'ID #:'
  559.   7:
  560.     Bounds: x1=18, y1=130, x2=46, y2=157
  561.     Type: -128
  562.     Info: ''
  563.   8:
  564.     Bounds: x1=218, y1=50, x2=294, y2=66
  565.     Type: -120
  566.     Info: '00000000'
  567.  
  568. DITL_129_SaveAlertDITL.txt
  569. Items: (4 entries)
  570.   0:
  571.     Bounds: x1=182, y1=86, x2=255, y2=106
  572.     Type: 4
  573.     Info: 'Premises'
  574.   1:
  575.     Bounds: x1=36, y1=86, x2=94, y2=106
  576.     Type: 4
  577.     Info: 'Cancel'
  578.   2:
  579.     Bounds: x1=110, y1=86, x2=168, y2=106
  580.     Type: 4
  581.     Info: 'Tree'
  582.   3:
  583.     Bounds: x1=62, y1=6, x2=278, y2=72
  584.     Type: -120
  585.     Info: 'Save premises only or entire tree?'
  586.  
  587. DITL_128_AlertDITL.txt
  588. Items: (2 entries)
  589.   0:
  590.     Bounds: x1=116, y1=84, x2=176, y2=104
  591.     Type: 4
  592.     Info: 'Okay'
  593.   1:
  594.     Bounds: x1=67, y1=5, x2=283, y2=71
  595.     Type: 8
  596.     Info: '^0'
  597.  
  598.